Parallelizing Elimination Orders with Linear Fill
نویسندگان
چکیده
This paper presents an algorithm for nding parallel elimination orders for Gaussian elimination Viewing a system of equations as a graph the algorithm can be applied directly to interval graphs and chordal graphs For general graphs the algorithm can be used to paral lelize the order produced by some other heuristic such as minimum degree In this case the algorithm is ap plied to the chordal completion that the heuristic gen erates from the input graph In general the input to the algorithm is a chordal graph G with n nodes and m edges The algorithm produces an order with height at most O log n times optimal ll at most O m and work at most O W G where W G is the minimum possible work over all elimination orders for G Experimental results show that when applied after some other heuristic the increase in work and ll is usually small In some instances the algorithm obtains an order that is actually better in terms of work and ll than the original one We also present an algo rithm that produces an order with a factor of logn less height but with a factor of O p logn more ll
منابع مشابه
Parallelizing and De-parallelizing Elimination Orders
The order in which the variables of a linear system are processed determines the total amounts of fill and work to perform LU decomposition on the system. We identify a trade-off between the amounts of fill and work for a given order and the parallelism inherent in that order. We present two algorithms: one that tries to parallelize sequential orders, and another that tries to produce low-fill ...
متن کاملA Formulation of Linear Logic Based on Dependency-Relations
In this paper we describe a solution to the problem of proving cut-elimination for FILL, a variant of exponential-free and multiplicative Linear Logic originally introduced by Hyland and de Paiva. In the work of Hyland and de Paiva, a term assignment system is used to describe the intuitionistic character of FILL and a proof of cut-elimination is barely sketched. In the present paper, as well a...
متن کاملMultiple Conclusion Linear Logic: Cut Elimination and More
Full Intuitionistic Linear Logic (FILL) was first introduced by Hyland and de Paiva, and went against current beliefs that it was not possible to incorporate all of the linear connectives, e.g. tensor, par, and implication, into an intuitionistic linear logic. It was shown that their formalization of FILL did not enjoy cut-elimination by Bierman, but Bellin proposed a change to the definition o...
متن کاملSymbolic expression evaluation to support parallelizing compilers
Symbolic analysis is of paramount importance to further advance the state-of-the-art of parallelizing compilers. The quality of various compiler analyses and optimizing code transformations depend on the ability to evaluate symbolic expressions for equality and inequality (=; <;>) relationships. This paper describes a powerful algorithm that computes lower and/or upper bounds of wide classes of...
متن کاملAnnotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version
Full Intuitionistic Linear Logic (FILL) is multiplicative intuitionistic linear logic extended with par. Its proof theory has been notoriously difficult to get right, and existing sequent calculi all involve inference rules with complex annotations to guarantee soundness and cut-elimination. We give a simple and annotation-free display calculus for FILL which satisfies Belnap’s generic cut-elim...
متن کامل